A biologically motivated extension of ALGOL-like languages
نویسندگان
چکیده
منابع مشابه
Objects and Classes in Algol-Like Languages
Many object-oriented languages used in practice descend from Algol. With this motivation, we study the theoretical issues underlying such languages via the theory of Algollike languages. It is shown that the basic framework of this theory extends cleanly and elegantly to the concepts of objects and classes. An important idea that comes to light is that classes are abstract data types, whose the...
متن کاملSemantics of Dynamic Variables in Algol-like Languages
A denotational semantic model of an Algol-like programming language with local variables, providing fully functional dynamic variable manipulation is presented. Along with the other usual language features, the standard operations with pointers, that is reattachement and dereferencing, and dynamic variables, that is creation and assignment, are explicated using a possible worlds, functor catego...
متن کاملA Biologically Motivated Fuzzy-like Measure for Complex Structures Perception
In contrast to the perceptual capability of artificial systems, the biological perception of spatial patterns is a continuous cognitive process. In particular, the visual system of primates has a space-variant nature where the resolution is high on the fovea and decreases continuously to the periphery of the visual field. Moreover, the pattern perception and recognition may change, also continu...
متن کاملBiologically Motivated Object Recognition
Here we modify the HMAX object recognition system of Serre et al. with an end-stopped filter to try and improve the accuracy of the model and to further the parallels in the algorithm to the actual processing of the visual cortex for learning object representations.
متن کاملAlgol-like Language
We present a denotational semantics for an Algol-like language Alg, which is fully abstract for the second order subset of Alg. This constitutes the rst signiicant full abstraction result for a block structured language with local variables. As all the published`test equivalences' 13, 8, 23] for Algol-like languages are contained in the second order subset, they can all be validated (easily) in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Control
سال: 1973
ISSN: 0019-9958
DOI: 10.1016/s0019-9958(73)90591-3